|
In complex analysis, Liouville's theorem, named after Joseph Liouville, states that every bounded entire function must be constant. That is, every holomorphic function ''f'' for which there exists a positive number ''M'' such that for all in is constant. Equivalently, holomorphic functions on have dense images. The theorem is considerably improved by Picard's little theorem, which says that every entire function whose image omits at least two complex numbers must be constant. == Proof == The theorem follows from the fact that holomorphic functions are analytic. If ''f'' is an entire function, it can be represented by its Taylor series about 0: : where (by Cauchy's integral formula) : where in the second inequality we have used the fact that |''z''|=''r'' on the circle ''C''''r''. But the choice of ''r'' in the above is an arbitrary positive number. Therefore, letting ''r'' tend to infinity (we let ''r'' tend to infinity since f is analytic on the entire plane) gives ''a''''k'' = 0 for all ''k'' ≥ 1. Thus ''f''(''z'') = ''a''0 and this proves the theorem. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Liouville's theorem (complex analysis)」の詳細全文を読む スポンサード リンク
|